Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known ...